Knihy od autora Anders P. Ravn

Zobrazené 1 – 3 z 3 výsledkov

1. 

   Automated Technology for Verification and Analysis

   Zhiming Liu, Anders P. Ravn | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2009

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   51.78 €

   Zľava 7 %

   Ušetríte 4.29 €

   Kúpiť
2. 

   Formal Techniques in Real-Time and Fault-Tolerant Systems

   Anders P. Ravn, Hans Rischel | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1998

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   51.78 €

   Zľava 7 %

   Ušetríte 4.29 €

   Kúpiť
3. 

   Hybrid Systems

   Robert L. Grossman, Anil Nerode, Anders P. Ravn, Hans Rischel | Springer, Berlin, 2007

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   51.78 €

   Zľava 7 %

   Ušetríte 4.29 €

   Kúpiť

Free shipping for orders over 59.99 €. Find out more